5

Stochastic Lambek Categorial Grammars

Year:
2004
Language:
english
File:
PDF, 407 KB
english, 2004
14

An algebraic correctness criterion for intuitionistic multiplicative proof-nets

Year:
1999
Language:
english
File:
PDF, 1.22 MB
english, 1999
22

Classical Non-Associative Lambek Calculus

Year:
2002
File:
PDF, 1.43 MB
2002
41

[Lecture Notes in Computer Science] Formal Grammar Volume 7395 ||

Year:
2012
Language:
english
File:
PDF, 3.19 MB
english, 2012
42

A Note on Intensionalization

Year:
2013
Language:
english
File:
PDF, 260 KB
english, 2013